Bibliography

A Survey of Decidability Results for Elementary Object Systems

Michael Köhler-Bußmeier.
A survey of decidability results for elementary object systems.
In B. Farwer, editor, Proceedings of the International Workshop on Logic, Agents, and Mobilitty (LAM 2010), 2010.

BibTeX

@InProceedings{Koehler10a,
  author =   {K{\"o}hler-Bu{\ss}meier, Michael},
  title = {A Survey of Decidability Results for Elementary Object Systems},
  editor = {Farwer, B.},
  booktitle =  {Proceedings of the International Workshop
     on Logic, Agents, and Mobilitty (LAM 2010)},
  year =  {2010}
}