K.: Prolog: DIN Papers for Discussion (1990)

by E Borger, Dassler
Venue:ISO/IEC JTCI SC22 WG17 Prolog standardization document, no. 58,.NPl