@inproceedings{Nicolas_Saubion_Stephan_ASP_01, author = {P. Nicolas and F. Saubion and I. St{\'e}phan}, title = {{G}enes and {A}nts for {D}efault {L}ogic}, booktitle = {Proceedings of the 1st International Answer Set Programming Workshop (ASP'01)}, year = {2001} }