Marco Alberti, Federico Chesani. The computational behaviour of the SCIFF abductive proof procedure and the SOCS-SI system. Intelligenza Artificiale, 2(3):45-51, 2005.
@article{AlbertiC05, title = {The computational behaviour of the SCIFF abductive proof procedure and the SOCS-SI system}, author = {Marco Alberti and Federico Chesani}, year = {2005}, researchr = {https://researchr.org/publication/AlbertiC05}, cites = {0}, citedby = {0}, journal = {Intelligenza Artificiale}, volume = {2}, number = {3}, pages = {45-51}, }