J. E. F. Guimaraes

1992
1		J. E. F. Guimaraes, G. R. Heppler, Stephen R. Czapor: A Method for Simulataneous Search for Refutations and Models by Equational Constraint Solving. J. Symb. Comput. 13(6): 643-676 (1992)

Coauthor Index

1	Stephen R. Czapor	[1]
2	G. R. Heppler	[1]