A Model Elimination Calculus with Built-in Theories (1992)
by
Peter Baumgartner
| Venue: | Proceedings of the 16-th German AI-Conference (GWAI-92 |
| Citations: | 17 - 10 self |







