Resolution-Based Methods for Modal Logics (2000)

View PDF

Download Links

by Hans De Nivelle , Renate A. Schmidt , Ulrich Hustadt
Venue:Logic J. IGPL
Citations:50 - 21 self