A Decomposition Rule for Decision Procedures by Resolution-based Calculi (2004)

Cached

Download Links

by Ullrich Hustadt , Boris Motik , Ulrike Sattler
Venue:In: Proc. 11th Int. Conf. on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR
Citations:31 - 10 self