A set of hierarchically structured decision procedures for some subclasses of First Order Logic (1991)

Cached

Download Links

by Enrico Giunchiglia
Citations:1 - 0 self