| Year | | Title | BibTeX cite key | |
| Gabbay, Kruse, Nonnengart, Ohlbach (ed.) |
| |
| |
| Gabbay, Ohlbach (ed.) |
| |
| |
| Gaillourdet, Hillenbrand, Löchner, Spies |
| |
| |
| Ganzinger |
| |
| |
| Ganzinger, de Nivelle |
| |
| Ganzinger, Hagen, Nieuwenhuis, Oliveras, Tinelli |
| |
| Ganzinger, Hillenbrand, Waldmann |
| |
| Ganzinger, Hustadt, Meyer, Schmidt |
| |
| Ganzinger, Jacquemard, Veanes |
| |
| |
| Ganzinger, McAllester |
| |
| Ganzinger, McAllester, Voronkov (ed.) |
| |
| Ganzinger, Meyer, Veanes |
| |
| Ganzinger, Meyer, Weidenbach |
| |
| Ganzinger, Nieuwenhuis |
| |
| Ganzinger, Nieuwenhuis, Nivela |
| |
| Ganzinger, Sofronie-Stokkermans |
| |
| Ganzinger, Sofronie-Stokkermans, Waldmann |
| |
| Ganzinger, Stuber |
| |
| |
| Georgieva, Hustadt, Schmidt |
| |
| |
| Gerber |
| |
| |
| Goncharov, Harizanov, Knight, Morozov, Romina |
| |
| Goranko, Hustadt, Schmidt, Vakarelov |
| |