On the compilation of a domain-based Prolog (1983)

by J F Nilsson
Venue:In Proceedings IFIP’83