Range-restricted and Horn interpolation through clausal tableaux. (English) Zbl 07850735
Ramanayake, Revantha (ed.) et al., Automated reasoning with analytic tableaux and related methods. 32nd international conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14278, 3-23 (2023).
MSC:
68V15