@INPROCEEDINGS{ismvl99,
AUTHOR = "Abdelwaheb Ayari and David Basin and Stefan Friedrich",
TITLE =  "Structural and Behavioral Modeling with Monadic Logics",
BOOKTITLE = "The Twenty-Ninth IEEE International Symposium on Multiple-Valued Logic",
YEAR = 1999,
PUBLISHER = "IEEE Computer Society",
ADDRESS = "Freiburg, Germany",
MONTH = "May",
PAGES = "142--151",
ABSTRACT =  { 
  Logic offers the possibility of modeling and reasoning about hardware
  and software.  But which logic?  We propose monadic logics of strings
  and trees as good candidates for many kinds of discrete systems.
  These logics are natural, decidable, yet substantially more
  expressive, extensions of Boolean logic.  We
  motivate their applicability through examples.
}
}