%0 Thesis %1 simkus2010nonmonotonic %A Simkus, Mantas %D 2010 %K 2010 ontorule wp3 %T Nonmonotonic Logic Programs with Function Symbols

@phdthesis{simkus2010nonmonotonic, added-at = {2010-06-09T12:18:40.000+0200}, author = {Simkus, Mantas}, biburl = {https://www.bibsonomy.org/bibtex/2946b7d6e9f7bbe9e51813ce7ffbcef59/stijn.heymans}, interhash = {d579160ab4fb4003782c5e9fa2868468}, intrahash = {946b7d6e9f7bbe9e51813ce7ffbcef59}, keywords = {2010 ontorule wp3}, month = {June}, school = {Vienna University of Technology}, timestamp = {2010-06-11T12:03:42.000+0200}, title = {Nonmonotonic Logic Programs with Function Symbols}, year = 2010 }