Steve Tappel
发表
Elaine Kant,
Stephen J. Westfold,
Richard P. Gabriel,
1979,
IJCAI.
Steve Tappel,
Steve Tappel,
1980,
AAAI.