scientific article
From MaRDI portal
Publication:4035671
zbMath0773.68018MaRDI QIDQ4035671
Bal Wang, Rudrapatna K. Shyamasundar
Publication date: 18 May 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Loop checking in SLD-derivations by well-quasi-ordering of goals ⋮ Norms on terms and their use in proving universal termination of a logic program
