Automated Reasoning

Authors

Matthias Knorr, Reda Alhajj, Jon Rokne,