A theorem proving based pattern recognition system.

Michael Magee, Mitchell J. Nathan

Browse the full ICRA paper archive.