N. Graca
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2003
Using dynamic logic programming to model legal reasoning.
Proceedings of the 2003 Joint Conference on Declarative Programming, 2003