Evidence Algorithm and Sequent Logical Inference Search.

Anatoli Degtyarev, Alexander V. Lyaletski, Marina K. Morokhovets

Browse the full LPAR paper archive.