TITLE     : Types and declarative static type checking in logic programming
AUTHOR(S) : Asirelli P, Barbuti R, Levi G
TYPE      : Other
YEAR      : 1983
CODE      : 420811

*** DO NOT EDIT THIS FILE ***