Mario Alviano Giovambattista Ianni Marco Marano Alessandra Martello Versatile Semantic Modeling of Frame Logic Programs under Answer Set Semantics. 106-121 2008 ASWC http://dx.doi.org/10.1007/978-3-540-89704-0_8 conf/aswc/2008 db/conf/aswc/aswc2008.html#AlvianoIMM08