Integration of and a Solution for Proof Problems and Query-Answering Problems.

Kiyoshi Akama, Ekawit Nantajeewarawat

Browse the full IC3K paper archive.