Analysis of polymorphically typed logic programs using ACIunification (0)

by J-G Smaus
Venue:In Proceedings of the Eighth International Conference on Logic for Programming, Artificial Intelligence, and Reasoning. Lecture Notes in Artificial Intelligence