Miller, D. A Multiple-Conclusion Meta-Logic. Theoretical Computer Science 165(1): 201-232 (1996).

Languages mentioned

• Forum {1997}