The pragmatic proof: Hypermedia API composition and execution

Verborgh, RubenRubenVerborghArndt, DortheDortheArndtVan Hoecke, SofieSofieVan HoeckeDe Roo, JosJosDe RooMels, GiovanniGiovanniMelsSteiner, ThomasThomasSteinerGabarro, JoaquimJoaquimGabarro2021-10-242021-10-242017-011471-0684https://imec-publications.be/handle/20.500.12860/29819The pragmatic proof: Hypermedia API composition and executionJournal articlehttps://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/the-pragmatic-proof-hypermedia-api-comp