Integrating deduction and model finding in a language independent setting
Preprint in arXiv (June 2022)
The most recent citing publications are shown below. View all 3 publications that cite this research output on Dimensions.
Preprint in arXiv (June 2022)
Book chapter (January 1996)
Book chapter (January 1996)