Marco Bellia, M. Eugenia Occhiuto. N-axioms Parallel Unification. Fundamenta Informaticae, 55(2):115-128, 2003. [doi]
@article{BelliaO03, title = {N-axioms Parallel Unification}, author = {Marco Bellia and M. Eugenia Occhiuto}, year = {2003}, url = {http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=55&issue=2&spage=115}, researchr = {https://researchr.org/publication/BelliaO03}, cites = {0}, citedby = {0}, journal = {Fundamenta Informaticae}, volume = {55}, number = {2}, pages = {115-128}, }