Conference Proceedings

A framework for analysis of typed logic programs

V Lagoon, PJ Stuckey, H Kuchen, K Ueda

Lecture Notes in Computer Science | SPRINGER-VERLAG BERLIN | Published : 2001