Montanari

After Lazaron was suspended from his job as a Fawn police officer in June 2020, Montanari and two other supervisors voted in November to fire him for alleged misconduct.

For first-order syntactical unification, Martelli and Montanari citation gave an algorithm that reports unsolvability or computes a complete and minimal singleton substitution set containing the so-called most general unifier.

The following faster algorithm originated from Martelli, Montanari (1982).