Context data for QE in DLO (Langford's algorithm)
Context data for QE in DLO (Langford's algorithm)

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle