Full Text Available
Access Full Text at Repository
Search Results - (bones OR one)
Search alternatives:
- bones »
-
One is all you need: Second-order Unification without First-order Variables
Published in Logical Methods in Computer Science (2026)Get full text
Online Article RSS Article