=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== https://ceur-ws.org/Vol-4239/paper-Gaiser-1.pdf
None