Logic Programming Research Implementation and Application Frameworks for the language {log}: the project AXL ENIDATA 1991, Technical Report
Logic Prog. Page Research Page Lab Home Page