JOURNAL OF AUTOMATED REASONING