author = {Temur Kutsia and Daniel Ventura and David Monniaux and Josef Morales},
title = {{Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis}},
language = {english},
series = {EPTCS},
year = {2024},
editor = {Temur Kutsia and Daniel Ventura and David Monniaux and Josef Morales},
length = {0},
conferencename = {LSFA 2023 and HCVS 2023}