research
∙
01/04/2016
Programming in logic without logic programming
In previous work, we proposed a logic-based framework in which computati...
research
∙
01/29/2013