Embedding Proof Problems into Query-answering Problems and Problem Solving by Equivalent Transformation.

Kiyoshi Akama, Ekawit Nantajeewarawat

Browse the full IC3K paper archive.