Towards the Automation of the Design of Logic Programming Languages.Technical Report 97-30 (1997)

by T Lutovac, J Harland
Venue:Department of Computer Science, RMIT