Bibliography

A Survey of Elementary Object Systems: Decidability Results

Michael Köhler-Bußmeier.
A survey of elementary object systems: Decidability results.
Technical report, Universität Hamburg, Fachbereich Informatik, 2011.  [link]

BibTeX

@TechReport{Koehler11c,
  author =  {K{\"o}hler-Bu{\ss}meier, Michael},
  title =  {A Survey of Elementary Object Systems: Decidability Results},
  institution =  FBIUniHH,
  year =  2011,
  optaddress =  FBIUniAdresse,
  url = {http://edoc.sub.uni-hamburg.de/informatik/volltexte/2011/174/}
}