Title: Journal of automated reasoning
Subjects: Automatic theorem proving, Periodicals, Artificial intelligence