Tests on MPEG-4 audio codec proposals. - Laura Contin; Bernd Edler; D. Meares; P. Schreiner (Signal Process. Image Commun., 1997)

Automatic checking properties of non-classical logics. - P. Schreiner (J. Appl. Non Class. Logics, 2006)