%0 Conference Paper %1 conf/lpnmr/HouWD07 %A Hou, Ping %A Wittocx, Johan %A Denecker, Marc %B LPNMR %D 2007 %E Baral, Chitta %E Brewka, Gerhard %E Schlipf, John S. %I Springer %K dblp %P 162-174 %T A Deductive System for PC(ID). %U http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2007.html#HouWD07 %V 4483 %@ 978-3-540-72199-4

@inproceedings{conf/lpnmr/HouWD07, added-at = {2017-06-04T00:00:00.000+0200}, author = {Hou, Ping and Wittocx, Johan and Denecker, Marc}, biburl = {https://www.bibsonomy.org/bibtex/207bdf96cf2c54a8a34ca0b0d12df9bd6/dblp}, booktitle = {LPNMR}, crossref = {conf/lpnmr/2007}, editor = {Baral, Chitta and Brewka, Gerhard and Schlipf, John S.}, ee = {https://doi.org/10.1007/978-3-540-72200-7_15}, interhash = {6963b6610283638c3f086d488a2526ae}, intrahash = {07bdf96cf2c54a8a34ca0b0d12df9bd6}, isbn = {978-3-540-72199-4}, keywords = {dblp}, pages = {162-174}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:00:16.000+0200}, title = {A Deductive System for PC(ID).}, url = {http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2007.html#HouWD07}, volume = 4483, year = 2007 }