Ruben Verborgh, Sofie Van Hoecke, Giovanni Mels, Thomas Steiner, Dörthe Arndt, Jos De Roo, Joaquim Gabarro,
The pragmatic proof: Hypermedia API composition and execution Theory and Practice of Logic Programming. ,vol. 17, pp. 1- 48 ,(2017) ,
10.1017/S1471068416000016