Fresh Logic (2007)

by Murdoch J. Gabbay , Aad Mathijssen
Venue:Journal of Applied Logic
Citations:219 - 28 self