Add property listing references that solve a problem

[kvdblom]

To support identifying components to handle certain problem properties, it would be useful if the problems in OPL are also annotated with references to papers that solved the listed problems.