Plan formation and execution in an uniform architecture of declarative metatheories (1990)

by F Guinchiglia, P Traverso
Venue:Proceedings of the 2nd International Workshop on Meta-Programming in Logic, pages 306--322. Dep. of Computer Science