"Space Analysis of a Predicate Logic Fragment for the Specification of ..."

David M. Cerna, Wolfgang Schreiner, Temur Kutsia (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics