## Theorem Proving Support for . . . (2000)

by
Deepak Kapur

Venue: | WORKSHOP ON FIRST-ORDER THEOREM PROVING |

### BibTeX

@INPROCEEDINGS{Kapur00theoremproving,

author = {Deepak Kapur},

title = {Theorem Proving Support for . . . },

booktitle = {WORKSHOP ON FIRST-ORDER THEOREM PROVING},

year = {2000},

publisher = {}

}

### OpenURL

### Abstract