An ASP-based Approach for Attractor Enumeration in Synchronous and Asynchronous Boolean Networks