Über einen arithmetisch-aussagenlogischen Kalkül und seine Anwendung auf ganzzahlige Optimierungsprobleme. - Gunter Bär; Hans Rohleder (J. Inf. Process. Cybern., 1967)

Zur linearen Darstellbarkeit von Ausdrücken des Aussagenkalküls. - Gunter Bär (J. Inf. Process. Cybern., 1972)

Zur Umformung eines Booleschen Ausdrucks in eine äquivalente Gleichung mit 0-1-Variablen. - Monika Meiler; Gunter Bär (J. Inf. Process. Cybern., 1974)

Umformungsmöglichkeiten für die Restriktionen eines 0-1-Optimierungsproblems. - Gunter Bär (J. Inf. Process. Cybern., 1976)

Ein Beitrag zur Transformation ganzzahliger Optimierungsprobleme. - Gunter Bär (J. Inf. Process. Cybern., 1977)

Eine theoretische Fundierung der diskreten Optimierung mit logischen Mitteln. - Gunter Bär (J. Inf. Process. Cybern., 1978)

A Special Problem on Rectangular Floorplans Solvable in Polynomial Time. - Gunter Bär (J. Inf. Process. Cybern., 1991)

Rectangle Packing in Polynomial Time. - Gunter Bär; Claudia Iturriaga (CCCG, 1993)

On the Complexity of Linear Programming in the BSS-model. - Gunter Bär (Discret. Appl. Math., 1999)