Search




Research outputs

A framework for the flexible integration of a class of decision procedures into theorem provers   [1999]

Janičić, Predrag  ; Bundy, A.; Green, I.

Filters

By type