Implementation of Predicate Logic in APL2. - Uwe Engelmann; Th. Gerneth; Hans-Peter Meinzer (APL, 1989)