H Horacek - Annual Conference on Artificial Intelligence, 2003 - Springer
Improvements in formal reasoning systems enable these systems to produce large sets of
solutions that may grow rather complex. However, automatically generated presentations of …