S. Torge

Bibliography

Bry, F. and Torge, S. 1996. “Minimal Model Generation with Positive Unit Hyper-Resolution Tableaux.” in TABLEAUX 96, pp. 143–159. Berlin: Springer Verlag.