DeReS

swMATH32312MaRDI QIDQ44023FDOQ44023

Author name not available (Why is that?)

Official website: http://www3.cs.uky.edu/~marek/papers.dir/97.dir/deres2.pdf

Cited In (3)

• Automated non-monotonic reasoning in System \textbf{P}
• dl2asp
• A tableaux calculus for default intuitionistic logic

This page was built for software: DeReS