SOME DAML+OIL APPLICATIONS