@inproceedings{Rie3,
title = { Extracting Herbrand Trees in Classical Realizability using Forcing },
author = {Rieg, Lionel},
year = {2013},
booktitle = {Computer Science Logic (CSL)},
pages = {597--614},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
volume = {23},
team = {ENS de Lyon, Other},
}
