From Total Equational to Partial First Order Logic (1998)

View PDF

Download Links

by Maura Cerioli , Till Mossakowski , Horst Reichel
Citations:20 - 8 self