Bibliography: Variable binding (Summary)

Score
hal-39160.0
KonatVKWV20120.0
BellegardeH940.0
PouillardP100.0
AllaisA0MM180.0
McKinnaP930.0
RouvoetAPKV200.0
NeronTVW150.0
KeuchelS20150.0
Voufo:2014:SRP:2633628.26336330.0
Pientka130.0
AntwerpenPRV180.0
Pitts030.0
Ricciotti150.0
UrbanPG040.0
GabbayP020.0
Chargueraud120.0
StansiferW140.0
PfenningE880.0
BernardyP130.0
WeirichYS110.0
ShinwellPG030.0
McBride20180.0
MorrisM190.0
AydemirCPPW080.0
Pouillard110.0
Pottier060.0
deBruijn720.0
Chlipala080.0