14 citations · 14 across the 1 of their papers we have counts for
1 paper
Petar Vukmirović, Alexander Bentkamp, Visa Nummelin
We developed a procedure to enumerate complete sets of higher-order unifiers based on work by Jensen and Pietrzykowski. Our procedure removes many redundant unifiers by carefully r…