Applying Visible Strong Equivalence in Answer-Set Program Transformations (2012)

@inproceedings{
    JN12:vl65_ini,
    editor = "Erdem, Esra and Lee, Joohyung and Lierler, Yuliya and Pearce, David",
    author = {Janhunen, Tomi and Niemel{\"a}, Ilkka},
    isbn = "978-3-642-30742-3",
    series = "Lecture Notes in Computer Science",
    month = "June",
    il = "no",
    year = "2012",
    title = "Applying Visible Strong Equivalence in Answer-Set Program Transformations",
    eventlocation = "Rome, Italy",
    booktitle = "Correct Reasoning -- Essays on Logic-Based AI in Honour of Vladimir Lifschitz",
    juforank = "NA",
    unitcode = "T3060-99,T312-1",
    impactfactor = "A4",
    eventtime = "June 11",
    publisher = "Springer",
    volume = "7265",
    address = "Rome, Italy",
    pages = "363--379",
    responsibleauthor = {Janhunen, Tomi, Niemel{\"a}, Ilkka},
    language = "eng",
    url = "http://dx.doi.org/10.1007/978-3-642-30743-0_24",
    country = "Germany",
    issn = "0302-9743",
    flags = "copy HIIT COIN"
}

AUTHORS:

URL:
http://dx.doi.org/10.1007/978-3-642-30743-0_24

AUTHORS:

URL: http://dx.doi.org/10.1007/978-3-642-30743-0_24

URL:
http://dx.doi.org/10.1007/978-3-642-30743-0_24