By clibrary on Mon, 06/23/2025 - 20:13 Author Dov M. Gabbay, Hans Jürgen Ohlbach Publisher Springer Subject Computer Science Year 1994 Vol/Edition 827 ISBN 9783540485858 URL http://dx.doi.org/10.1007/BFb0013976