Author = G. Lenzi
Unification in lax logic

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

S. Ghilardi; G. Lenzi