=Paper=
{{Paper
|id=Vol-4239/paper-Gaiser-1
|storemode=property
|title=Constructive Preference Relations: Navigating
Undecidability in Rational LTL Contraction
|pdfUrl=https://ceur-ws.org/Vol-4239/paper-Gaiser-1.pdf
|volume=Vol-4239
|authors=Hannes Gaißer,Dominik Klumpp,Jandson S Ribeiro
}}
==Constructive Preference Relations: Navigating
Undecidability in Rational LTL Contraction==
None