%Aigaion2 BibTeX export from Peter D Mosses
%Friday 25 May 2012 02:18:57 AM

@INPROCEEDINGS{Mosses2009IPS,
    author = {Mosses, Peter D. and New, Mark J.},
     title = {Implicit Propagation in Structural Operational Semantics},
     pages = {49-66},
       doi = {10.1016/j.entcs.2009.07.073},
  crossref = {SOS2008-9}
}



crossreferenced publications: 
@PROCEEDINGS{SOS2008-9,
      title = {SOS 2008, 5th Workshop on Structural Operational Semantics, Reykjavik, Iceland, 6 July 2008, Proceedings},
  booktitle = {SOS 2008},
     series = {Electr. Notes Theor. Comput. Sci.},
     volume = {229(4)},
       year = {2009},
  publisher = {Elsevier},
x-editor = {M. Hennessy and B. Klin}, x-url = {http://homepages.inf.ed.ac.uk/bklin/SOS2008/}
}