MHB - A Many-Headed Bridge Between Informal and Formal Guideline Representations.

Andreas Seyfang, Silvia Miksch, Cristina Polo-Conde, Jolanda Wittenberg, Mar Marcos, Kitty Rosenbrand

Browse the full AIME paper archive.