A Resolution Decision Procedure for Fluted Logic.

Renate A. Schmidt, Ullrich Hustadt

Browse the full CADE paper archive.