Nick Bassiliades, Grigoris Antoniou, Guido Governatori. Proof Explanation in the DR-DEVICE System. In Massimo Marchiori, Jeff Z. Pan, Christian de Sainte Marie, editors, Web Reasoning and Rule Systems, First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007, Proceedings. Volume 4524 of Lecture Notes in Computer Science, pages 249-258, Springer, 2007. [doi]
Abstract is missing.