Robinson Unification Logic Based on

LPL 1 Incorporated some features of
1
LPL++ 1 Extension of
1