[DL] Fixpoint operator

Christiano Braga cbraga at ic.uff.br
Thu Aug 1 01:09:20 CEST 2013


Hi,

could anyone point me to a DL reasoner that handles fixpoints?

Cheers,

Christiano





More information about the dl mailing list