Cited By
View all- Winkler SThiemann R(2015)Formalizing Soundness and Completeness of UnravelingsProceedings of the 10th International Symposium on Frontiers of Combining Systems - Volume 932210.1007/978-3-319-24246-0_15(239-255)Online publication date: 21-Sep-2015
- Nishida NSakai M(2009)Completion after Program Inversion of Injective FunctionsElectronic Notes in Theoretical Computer Science (ENTCS)10.1016/j.entcs.2009.03.034237(39-56)Online publication date: 1-Apr-2009
- Alpuente MFeliú MJoubert CVillanueva A(2009)Defining datalog in rewriting logicProceedings of the 19th international conference on Logic-Based Program Synthesis and Transformation10.1007/978-3-642-12592-8_14(188-204)Online publication date: 1-Sep-2009
- Show More Cited By