A multiple-conclusion meta-logic (1994)

by Dale Miller
Venue:Proceedings of the International Symposium on Logics in Computer Science