A Logic-based Approach for IP Network Services Management and Configuration.

Pedro Alpio, Jos Neves, Paulo Carvalho

Browse the full IM paper archive.