Report - Edinburgh Research Explorer · Declarative modelling techniques have guided language design; logic programming has been extensively used in application engineering, and mathematical

Please pass captcha verification before submit form