@techreport{BarnettBiere-FMV-TR-21-2,
  author = {Lee Barnett and Armin Biere},
  title = {Non-Clausal Redundancy Properties (Extended Version)},
  number = {21/2},
  date = {April 2021},
  institution = {Johannes Kepler University Linz},
  address =  {FMV Reports Series, Institute for Formal Models and
    Verification, Johannes Kepler University, Altenbergerstr. 69, 4040
      Linz, Austria},
  year={2021},
  doi={10.350/fmvtr.2021-2},
  url={https://doi.org/10.350/fmvtr.2021-2},
}