Reasoning on biological models
using ASP techniques