The use of sort abstraction in planning domain theories
McCluskey, T.L. and Porteous, J.M.
(1995)
The use of sort abstraction in planning domain theories.
In:
Planning & Learning: Onto Real Application Papers from the 1994 Fall Symposium.
AAAI Press.
ISBN 9780929280752