Author = S. Ghilardi
Unification in lax logic

Volume 3, Issue 1, February 2022, Pages 61-75

S. Ghilardi; G. Lenzi