Login / Signup

Metalogical Frameworks II: Developing a Reflected Decision Procedure.

William E. AitkenRobert L. ConstableJudith L. Underwood
Published in: J. Autom. Reason. (1999)
Keyphrases