TITLE     : Horn clauses form of logic: algebraic static semantics of programs
AUTHOR(S) : Asirelli P
TYPE      : Other
YEAR      : 1982
CODE      : 421246

*** DO NOT EDIT THIS FILE ***