Mark Dowson A Note on Micro-Planer. 19-27 1984 Implementations of Prolog db/books/collections/Campbell84.html#Dowson84