@PROCEEDINGS{AMAI95,
      EDITOR   = {Victor Marek and Peter H.~Schmitt},
      SERIES   = {Annals of Mathematics and Artificial Intelligence},
      TITLE    = {Special issue on: Non-classical logics and computer science},
      VOLUME   = {12, Nos. 3,4},
      YEAR     = {1994}
}