Draft report of the logic programming language PROTOS-L (1991)

by C Beierle, S Bottcher, G Meyer
Venue:Revised version: Working Paper 4, IBM Germany, Scientific Center, Institute for Logics and Linguistics