Miller, D. "A multiple-conclusion meta-logic"

Abramsky, S. (1994) Abramsky, S. editor, Ninth Annual Symposium on Logic in Computer Science, Paris, France, July 1994. IEEE Computer Society Press.  

Languages mentioned Forum {1997}