Richiedi una copia del documento: The next 700 challenge problems for reasoning with higher-order abstract syntax representations : part 2: a survey

Captcha code
Annulla