TITLE : Some aspects of the static semantics of logic programs with monadic functions AUTHOR(S) : Asirelli P TYPE : Conference article YEAR : 1983 CODE : 420960 *** DO NOT EDIT THIS FILE ***