J. Alama:
"Dialogues for proof search";
in: "ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics", 33; C. Benzmüller et al. (ed.); EasyChair, 2015, ISSN: 2040-557x, 65 - 70.
http://easychair.org/publications/paper/Dialogues_for_proof_search