@articleWitschen_Wiersema_Platzner_2020, title=Proof-carrying Approximate Circuits, volume=28, DOI=10.1109/TVLSI.2020.3008061, number=9, journal=IEEE Transactions On Very Large Scale Integration Systems, publisher=IEEE, author=Witschen, Linus Matthias and Wiersema, Tobias and Platzner, Marco, year=2020, pages=2084–2088 
LibreCat: /record/17358
DOI: 10.1109/TVLSI.2020.3008061