@inproceedings{
    Janhunen00:lncs,
    editor = {Husberg, Nisse and Janhunen, Tomi and Niemel{\"a}, Ilkka},
    author = "Janhunen, Tomi",
    publisher = "Helsinki University of Technology, Laboratory for Theoretical Computer Science, Research Reports HUT-TCS-A63",
    title = "Specifying Agent-Based Systems with Nets and Logic Programs",
    url = "http://www.tcs.hut.fi/Publications/series-a.shtml",
    booktitle = "Leksa Notes in Computer Science: Festschrift in Honour of Professor Leo Ojala",
    address = "Espoo",
    month = "October",
    year = "2000",
    pages = "33--46"
}