Permissive Subsorted Partial Logic in CASL (1997)

Cached

Download Links

by Maura Cerioli , Anne Haxthausen , Bernd Krieg-Brückner , Till Mossakowski
Citations:13 - 8 self